xen: credit2: properly schedule migration of a running vcpu.
authorDario Faggioli <dario.faggioli@citrix.com>
Thu, 15 Sep 2016 11:35:04 +0000 (12:35 +0100)
committerGeorge Dunlap <george.dunlap@citrix.com>
Thu, 15 Sep 2016 11:39:47 +0000 (12:39 +0100)
commit115e4c5e52c14c126cd8ae0dfe0322c95b65e3c8
treefb18d1e0dc50145521ece4d908bbc5ea454c343f
parentf83fc393b2bb0a8b97bca07d810684a2c709aaa8
xen: credit2: properly schedule migration of a running vcpu.

If wanting to migrate a vcpu that is actually running,
we need to ask the scheduler to chime in as soon as
possible, to have the vcpu itself stopped and actually
moved.

Make sure this happens by, after setting all the relevant
flags, raising the scheduler softirq.

Signed-off-by: Dario Faggioli <dario.faggioli@citrix.com>
Acked-by: George Dunlap <george.dunlap@citrix.com>
xen/common/sched_credit2.c